$\forall$$i$:Id, $A$:MsgA. @$i$: $A$ $\in$ Id$\rightarrow$MsgA